Using UML for automatic test generation
نویسنده
چکیده
This paper presents an architecture for model-based verification and testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define essential models: descriptions that are relatively complete. Object and state diagrams are used to introduce test directives. Models written in this profile may be compiled into a tool language: the Intermediate Format (IF). Descriptions written in IF can be animated, verified, and used to generate tests. As well as defining the profile for UML, the paper explains the basis of the compilation into IF, and reports upon the problems encountered.
منابع مشابه
Review of Automatic Test Case Generation from UML Diagram using Evolutionary Algorithm
Software testing plays a vital role in software development life cycle. An approach of testing which takes place at design phase can remove errors in the system and improvise the developed project. Automatic test case generation can be used for testing software or real time applications. Many evolutionary algorithms are used for generating test case automatically. This paper represent review of...
متن کاملModel-level Automatic Test Generation for Uml Statecharts
We present a framework for model-level testing of behavioral UML models. For automatic test generation, we use planner algorithms to deal with the complexity of UML models. Our approach is characterized by an automatic and metamodeldriven transformation from UML statecharts to a tool independent representation of planner algorithms from which the input language of concrete planner tools can be ...
متن کاملDeriving Input Partitions from UML Models for Automatic Test Generation
In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive partitions of input parameter value ranges for boundary testing. We present a test generation algorithm and describe an implementation of this algorithm. Finally, we discuss our approach and compare it to commercial tools.
متن کاملAutomatic Test Generation from Coupled UML Models using Input Partitions
In this paper, we deal with model-based automatic test generation. We show how to use coupled models consisting of UML state machines, class diagrams, and OCL expressions to automatically derive partitions of input ranges for boundary testing. We present a test generation algorithm, describe an implementation of this algorithm, and compare this implementation to Rhapsody’s ATG.
متن کاملAutomatic Test Case Generation from UML Models and OCL Expressions
In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria. We introduce our current prototype implementation, compare it to commercial tools, and sketch shortcomings and further development.
متن کاملAutomatic Test Generation on a (U)SIM Smart Card
Usually, testing smart card software is carried-out by specialized engineers in a proprietary language. Testing represents generally half of smart card development effort. With the increasing use of semi-formal and formal modeling languages, such as UML, and the emergence of automatic test generators in the industry, we have studied a way to adapt these techniques for smart card. In this articl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017